-
Notifications
You must be signed in to change notification settings - Fork 998
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add KZGProof at G1_POINT_AT_INFINITY
test cases
#3507
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good idea for this test case! Just some small nits.
tests/generators/kzg_4844/main.py
Outdated
commitment = spec.blob_to_kzg_commitment(blob) | ||
proof = spec.G1_POINT_AT_INFINITY | ||
assert not spec.verify_blob_kzg_proof(blob, commitment, proof) | ||
yield 'verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity', { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Minor nit. I think we should group this with the other "incorrect" tests. So move this test case below the verify_blob_kzg_proof_case_incorrect_proof
test case.
tests/generators/kzg_4844/main.py
Outdated
assert not spec.verify_blob_kzg_proof_batch([blob], [commitment], [proof]) | ||
|
||
yield 'verify_blob_kzg_proof_batch_case_incorrect_proof_point_at_infinity', { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Like the other one, I think this should be in the "incorrect" group of tests. So below the verify_blob_kzg_proof_batch_case_incorrect_proof_add_one
test.
Also, I can confirm that these tests pass in c-kzg-4844. |
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks great. Thanks 🙏
G1_POINT_AT_INFINITY
test caseG1_POINT_AT_INFINITY
test cases
Cc @etan-status who mentioned an issue related to this |
No description provided.